Programming domain - PDFSEARCH.IO - Document Search Engine

Programming domain
Results: 506

#	Item
51	Dependently Typed Programming with Domain-Specific Logics Daniel R. Licata CMU-CSFebruary 28, 2011 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-03-04 16:21:12
52	The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2013-04-23 16:45:47 Philosophy American philosophers Automated planning and scheduling Hierarchical task network Partial-order planning Kurt Gdel Logic programming Godel
53	Domain-Specific Testing Tools Domain-Specific Testing Tools Lessons learned from the Apache Sling Project Robert Munteanu ApacheCon Core Europe 2015 Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2015-09-27 12:37:54 Software testing Extreme programming Unit testing Test automation Mylyn Computing
54	CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10) Add to Reading List Source URL: www.program-transformation.org Language: English - Date: 2013-06-07 05:22:45 Computing Software engineering Computer science Evaluation strategy Incremental computing Partial evaluation Symposium on Principles of Programming Languages Association for Computing Machinery Domain-specific language Actor model
55	Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008 Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2008-05-12 17:29:24 Software engineering Computing Programming language theory Type theory Variable Information flow ALGOL 68 Assignment Java
56	ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-14 22:20:33 Logic Abstraction Software Predicate logic Compiler construction Computational linguistics Natural language parsing Programming language implementation Parsing Natural language processing Dependency grammar Domain-specific language
57	Domain-Specific Programming of Very High Speed Packet Processing Gordon Brebner Xilinx Labs San José, USA Add to Reading List Source URL: www.xilinx.com Language: English - Date: 2012-07-25 16:19:31
58	PDF Document Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software Computing Unified Modeling Language Eclipse Object Constraint Language Integrated development environments ECO Object-oriented programming languages Domain-specific language Scala OCL Xtend
59	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation
60	man7.org Training and Consulting Linux/UNIX System Programming Course code: M7D-SP01 Add to Reading List Source URL: man7.org Language: English - Date: 2015-07-13 04:42:17 System software POSIX Unix domain socket Inter-process communication Strace System call File descriptor Pipeline Asynchronous I/O Unix Computing Software

UPDATE